module: ere2dfa
name: Extended Regular Expression
Description:
Ordinary software engineers and programers can understand easily
regular patterns, as shown by the imense interest in and the
success of scripting languages like Perl, based essentially on
regular expression pattern matching. We believe that regular
expressions provide an elegant and powerful specification language
also for monitoring requirements, because an execution trace of a
program is in fact a string of states. Extended regular expressions
(EREs) add complementation to regular expressions, which brings
additional benefits by allowing one to specify patterns that must
not occur during an execution. Complementation gives one the power
to express patterns on strings non-elementarily more compactly. 
::
